State transition system - PDFSEARCH.IO - Document Search Engine

State transition system
Results: 141

#	Item
21	2009 will mark Russia’s transition from the traditional system of university examinations to a standardized national test for university admission Add to Reading List Source URL: russianmodernisation.fi Language: English - Date: 2014-10-27 07:03:54 Standardized tests American Association of State Colleges and Universities Consortium for North American Higher Education Collaboration University of North Texas Entrance examination Test Oral exam University and college admission SAT Education Evaluation University of North Texas System
22	Domain-Specific Preferences for Causal Reasoning and Planning James P. Delgrande Torsten Schaub∗ Hans Tompits Add to Reading List Source URL: www.cs.sfu.ca Language: English Action language Preference State transition system Artificial intelligence Social choice theory Economics Automated planning and scheduling Models of computation Social psychology
23	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-29 05:50:59 Electronic engineering Formal methods Predicate logic Hardware description languages Construction and Analysis of Distributed Processes Formal verification State transition system Model checking Petri net Models of computation Theoretical computer science Concurrency
24	software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton State diagram State transition table State transition system Models of computation Theory of computation Automata theory
25	Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-03 10:41:37 Formal methods Computer science Linear temporal logic Finite state transducer Model checking Finite-state machine Model theory State transition system Petri net Models of computation Automata theory Theoretical computer science
26	MoChArt 2005 Preliminary Version Incremental Verification for On-the-Fly Controller Synthesis David J. Musliner and Michael J. S. Pelican 1,2 Honeywell Laboratories Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Computer science Applied mathematics Formal verification Model checking Deterministic finite automaton Nondeterministic finite automaton State transition system Models of computation Automata theory Theoretical computer science
27	TRANSITION PLANNING FOR 21ST CENTURY SCHOOLS PUBLIC SCHOOLS OF NORTH CAROLINA State Board of Education \| Department of Public Instruction Add to Reading List Source URL: www.hendersoncountypublicschoolsnc.org Language: English - Date: 2011-03-08 12:04:39 Wake County Public School System Middle school Primary education Kindergarten Ready schools Raleigh School Education Educational stages Elementary school
28	Comparison of Modeling Formalisms for Safety Analyses: SAML and AltaRica Tatiana PROSVIRNOVA, Antoine RAUZY LIX, Ecole Polytechnique, France Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-08-01 09:01:32 State transition system Systems modeling Scientific modelling Science Epistemology Computing Identity management Security Assertion Markup Language Versailles
29	Modelling spoken dialogues with state transition diagrams: experiences with the CSLU toolkit Michael F McTear University of Ulster ABSTRACT Add to Reading List Source URL: www.cslu.ogi.edu Language: English - Date: 2004-08-20 16:10:09 User interface techniques Multimodal interaction Speech recognition Dialog system Usability Dialogue Spoken dialog system Natural language processing Language Humanâ€“computer interaction Computational linguistics User interfaces
30	6.241J Course Notes, Chapter 11: Continuous-time linear state-space models Add to Reading List Source URL: ocw.mit.edu Language: English - Date: 2015-03-15 16:14:41 Matrix theory Linear algebra Exponentials Matrices Matrix exponential State space State-transition matrix LTI system theory Determinant Algebra Mathematics Control theory

UPDATE